Modelos de Pruebas para Pruebas del Sistemas

نویسندگان

  • Javier J. Gutiérrez
  • María José Escalona Cuaresma
  • Manuel Mejías Risoto
  • Antonia M. Reina Quintero
چکیده

Resumen. Uno de los objetivos de la fase de pruebas del sistema es verificar que el comportamiento externo del sistema software satisface los requisitos establecidos por los clientes y futuros usuarios del mismo. A medida que aumenta la complejidad de los sistemas software y aumenta la demanda de calidad, se hacen necesarios procesos y métodos que permitan obtener buenos conjuntos de pruebas del sistema. Este trabajo describe los modelos necesarios para generar de manera sistemática un conjunto de pruebas que permitan verificar la implementación de los requisitos funcionales de un sistema software.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Análisis de Sistemas Críticos en Teoría de Tipos

Para el análisis de sistemas reactivos y de tiempo real se destacan dos enfoques formales: la verificación de modelos y el análisis deductivo basado en asistentes de pruebas. El primero se caracteriza por ser completamente automatizable pero presenta dificultades al tratar sistemas con un gran número de estados o que tienen parámetros no acotados. El segundo permite tratar con sistemas arbitrar...

متن کامل

Técnicas de pruebas automáticas para algoritmos evolutivos

Resumen—El uso de pruebas automáticas es una herramienta muy útil para detectar errores en el código, pero el comportamiento no-determinista de ciertos operadores de los algoritmos evolutivos impide que los resultados sean repetibles, con lo que se suele considerar que no son aplicables. En este trabajo se proponen nuevas estrategias de pruebas espećıficas para estos casos. Las estrategias prop...

متن کامل

Criterios de parada difusos en el problema de la mochila

Como es de sobra conocido, las metodologías asociadas a los conjuntos difusos se han apoyado prácticamente siempre en las que previamente existían (clásicas), siendo poco frecuente el que los modelos convencionales se traten de resolver a partir de métodos originales del campo difuso. Sin embargo esto no se ha dado con los Sistemas Basados en Reglas, que si han aportado una metodología propia p...

متن کامل

Sistema para el análisis automático de modelos de navegación en

Conocer de antemano la estrategia de navegación adoptada por los usuarios de un producto hipermedia es una pieza clave en el proceso de desarrollo de calidad de estos productos, ya que la mencionada estrategia de navegación determina como los usuarios accederán a la información contenida en la base de conocimiento y por ende, cómo esta información será percibida. La adaptación de las pruebas de...

متن کامل

SODM+T: Inferencia de restricciones de rendimiento

Las metodologías dirigidas por modelos (MDM) han experimentado un gran impulso en los últimos años, así como su aplicación a las Arquitecturas Orientadas a Servicios (AOS). Sin embargo, su avance no ha ido paralelo a la integración en ellas de técnicas de verificación y validación. En este trabajo se presenta SODM+T, el conjunto de herramientas que apoya a la metodología SODM+Testing que extien...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006